perm filename CPL.TEX[CLS,LSP]1 blob
sn#833998 filedate 1987-02-04 generic text, type C, neo UTF8
COMMENT ā VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 "edsel!lgd"@navajo/su
C00004 ENDMK
Cā;
"edsel!lgd"@navajo/su
CPL paragraph
The effect of this rule for selecting from a set of classes with no
predecessors is that simple superclass chains and relatively separated
sublattices are kept together in the class precedence list. For example,
let $T\sub 1$ and $T\sub 2$ be sublattices whose only element in common is
the class {\bf T}, let $C\sub 1$ be the bottom of $T\sub 1$, and let
$C\sub 2$ be the bottom of $T\sub 2$. Suppose $C$ is a class whose direct
superclasses are $C\sub 1$ and $C\sub 2$ in that order, then the class
precedence list for $C$ will start with $C$ and will be followed by all
classes in $T\sub 1$; after all the classes of $T\sub 1$ will be all
classes in $T\sub 2$.